Python truncate float with 19 chars